/*
 * File: kernel/kernel.h
 * Creator: Ryanne Dolan
 * Description: This file creates the basic types and functions associated
 * with the essential operations of the operating system.
 */

#ifndef SAR_KERNEL_KERNEL_H
#define SAR_KERNEL_KERNEL_H

/* We are not using any standard libraries, so we need
 * to define our own version of NULL */
#ifndef NULL
#define NULL ((void *) 0)
#endif

/* basic types used by the kernel and available to user programs */
typedef unsigned int size;
typedef unsigned int index;

void kernel_init ();

#endif
